Dynamic Reliability Model for Airborne Systems Based on Stochastic Petri Net
نویسندگان
چکیده
منابع مشابه
A Petri-net Model for Operational Cycle in SCADA Systems
Supervisory control and data acquisition (SCADA) system monitors and controls industrial processes in critical infrastructures (CIs) and plays the vital role in maintaining the reliability of CIs such as power, oil, and gas system. In fact, SCADA system refers to the set of control process, which measures and monitors sensors in remote substations from a control center. These sensors usually ha...
متن کاملPetri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
متن کاملStochastic Petri Net Models of Polling Systems
We consider finite-population and finite-capacity polling systems. The behavior of these systems is described by means of generalized stochastic Petri nets. The exact results for the mean response times are obtained numerically by means of the stochastic Petri net package. Finite population polling systems are generally difficult to analyze. Thus, one of the contributions of this paper is the f...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملA Petri Net based Model for Heterogeneous Embedded Systems
Design of embedded systems must be based on formal representations so that the synthesis process can be carried out systematically. We present PRES, a Petri net based model suited to embedded systems. It can represent several levels of detail using the feature of hierarchical decomposition. This model also includes an explicit notion of time. In PRES tokens hold information and transitions, whe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
سال: 2020
ISSN: 1000-2758,2609-7125
DOI: 10.1051/jnwpu/20203840846